(a, a) => b;
